某自行高炮虚拟训练系统设计及关键技术

结合自行式高炮装备的结构特点和训练需求,采用机理与外观相分离的设计思想,建立一种多节点、多任务的分布式仿真训练系统。以机理模型为设计核心,采用了客户/服务器模式的系统拓扑结构。介绍了复杂装备外观建模方法和交互技术以及基于MATLAB的机理模型构建和系统集成方法。     

脉冲等离子体推力器羽流的粒子模拟

目前微小卫星正在积极地发展中,脉冲等离子体推力器是其推进系统的一个重要发展方向,为了能够将PPT成功地运用于空间,需对其羽流进行研究.将DSMC(Direct Simulation Monte-Carlo)/PIC(Particle in Cell)流体混合算法与一维MHD放电模型相结合,一体化模拟NASA Glenn PPT羽流,对不同出口偏转角的羽流场进行模拟,并与实验结果进行了比较.计算结果显示引入出口速度的偏转角提高了模型的羽流扩散能力,羽流的扩散角是影响羽流的一个主要因素.     

军事供应链不确定性产生机理研究

军事供应链中不可避免地存在不确定性。构建了军事供应链不确定性产生机理的概念模型,从需求、供应、环境三个方面分析了军事供应链不确定性产生的原因,同时,对军事供应链中可能存在的各种不确定性进行了讨论,明确了加剧不确定性影响的因素是军事供应链系统的复杂性。具体表现为军事供应链成员交互关系的复杂性和军事供应链网络结构的复杂性。提出正是由于这两个原因的存在,对军事供应链的保障性能产生了巨大的影响。     

CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

基于agent 的分布式集成环境

本文提出了一种基于多ａｇｅｎｔ的分布式集成环境ＤＩＥＭＡ的通用框架,描述了ＤＩＥＭＡ的工作原理;提出了服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现。     

一种新型火炮自动机构的运动方程

基础构件转动的机构是火炮上的一种新机构。根据达朗贝尔原理和虚位移原理,本文推导了这种新型机构在工作构件影响下的运动微分方程,可以用来解决这类机构的运动学和动力学问题。